The Modular Structure of an Ontology: Atomic Decomposition

نویسندگان

  • Chiara Del Vescovo
  • Bijan Parsia
  • Ulrike Sattler
  • Thomas Schneider
چکیده

Modularity in ontologies Modern ontologies can get quite large as well as complex, which poses challenges to tools and users when it comes to processing, editing, analyzing them, or reusing their parts. This suggests that exploiting modularity of ontologies might be fruitful, and research into this topic has been an active area for ontology engineering. Much recent effort has gone into developing logically sensible modules, that is, parts of an ontology which offer strong logical guarantees for intuitive modular properties. One such guarantee is called coverage. It means that a module captures all the ontology’s knowledge about a given set of terms (signature). A module in this sense is a subset of an ontology’s axioms that provides coverage for a signature, and each possible signature determines such a module. The minimal modules to provide coverage for a signature are those based on Conservative Extensions (CEs) [2], that are however not feasible to be computed for many expressive languages. Modules based on syntactic locality [5] also provide coverage because they are efficiently computable approximations of CEs; however, such modules are not in general minimal. The extraction of such a module given a set of terms (signature) is well understood and starting to be deployed in standard ontology development environments, such as Protégé 4,1 and online.2 Locality-based modules have already been effectively used for ontology reuse [14] and as a subservice for incremental reasoning [3]. However, we think that by investigating the family FO of all locality-based modules we can obtain information about topicality, connectedness, structure, superfluous parts of an ontology, or agreement between actual and intended modeling.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

HyS: Fast Atomic Decomposition and Module Extraction of OWL-EL ontologies

In this paper, we present HyS, an application for fast atomic decomposition and module extraction of OWL-EL ontologies. HyS computes a hypergraph representation of the modular structure of an ontology. This hypergraph representation contains the atomic decomposition of the input ontology, and it allows to extract modules for a given signature. We provide an experimental evaluation of HyS with a...

متن کامل

Improved Algorithms for Module Extraction and Atomic Decomposition

In recent years modules have frequently been used for ontology development and understanding. This happens because a module captures all the knowledge an ontology contains in a given area, and often is much smaller than the whole ontology. One useful modularisation technique for expressive ontology languages is locality-based modularisation, which allows for fast (polynomial) extraction of modu...

متن کامل

Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs

Atomic decomposition of ontologies has been suggested as a tool to understand the modular structure of ontologies. It consists of a polynomial size representation of potentially exponentially many modules of an ontology. Tractable algorithms for computing the atomic decomposition for locality-based modules have been introduced, albeit leaving room for improvement in terms of running time. In th...

متن کامل

On an atomic decomposition in Banach spaces

An atomic decomposition is considered in Banach space.  A method for constructing an atomic decomposition of Banach  space, starting with atomic decomposition of  subspaces  is presented. Some relations between them are established. The proposed method is used in the  study  of the  frame  properties of systems of eigenfunctions and associated functions of discontinuous differential operators.

متن کامل

DeMoSt: a Tool for Exploring the Decomposition and the Modular Structure of OWL Ontologies

Motivation In relevant application fields ontologies are often maintained as huge monolithic collections of axioms in single files, as for some ontologies in the NCBO BioPortal repository4, like the Gene Ontology (∼ 60, 000 axioms). Such representation is not ideal for applications which only require access limited to individual fragments of the ontology. As an example, the reasoning service pr...

متن کامل

Revealing and exploiting hierarchical material structure through complex atomic networks

One of the great challenges of modern science is to faithfully model, and understand, matter at a wide range of scales. Starting with atoms, the vastness of the space of possible configurations poses a formidable challenge to any simulation of complex atomic and molecular systems. We introduce a computational method to reduce the complexity of atomic configuration space by systematically recogn...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011